#include<bits/stdc++.h>
using namespace std;
const int N=55;
typedef long long LL;

int n;
LL a[N];
const LL mod=1e9+7; 
int main(){
	scanf("%d",&n);
	for(int i=0;i<n;i++){
		scanf("%lld",&a[i]);
	}
	sort(a,a+n);
	LL ans=1;
	for(int i=0;i<n;i++){
		if(a[i]-i<=0){
			printf("0");
			return 0;
		}
		ans=(ans*(a[i]-i))%mod;
	}
	printf("%lld",ans);
	return 0;
}
